Deduction theorem - PDFSEARCH.IO - Document Search Engine

Deduction theorem
Results: 172

#	Item
61	Natural deduction environment for Matita Claudio Sacerdoti Coen? and Enrico Tassi? Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.it Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2010-02-23 11:12:50 Mathematical logic Markup languages Mathematical markup languages Logical syntax Automated theorem proving Natural deduction MathML Theorem Formal proof Logic Mathematics Proof theory
62	Combining Programming with Theorem Proving ∗ Chiyan Chen Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-07-08 10:54:24 Computing ATS Type safety Intuitionistic type theory Natural deduction Software engineering Programming language theory Type theory
63	¯ µ-terms Explanation in Natural Language of λµ ˜ Claudio Sacerdoti Coen? ´ Project PCRI, CNRS, Ecole Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2005-12-12 05:17:05 Mathematical logic Lambda calculus Natural deduction Curry–Howard correspondence Cut-elimination theorem Sequent calculus Sequent Theorem Calculus Proof theory Logic Mathematics
64	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving
65	Microsoft PowerPoint - search16 Add to Reading List Source URL: www.autonlab.org Language: English - Date: 2008-07-07 16:16:30 Spectral sequence Deduction theorem Search algorithms Mathematics Breadth-first search
66	Proof-Theoretic Validity∗ Stephen Read University of St Andrews email: [removed] April 16, 2012 Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-04-16 08:12:57 Propositional calculus Philosophical logic Deduction Natural deduction Sequent calculus Cut-elimination theorem Sequent Entailment Inference Logic Proof theory Logical consequence
67	Artificial Intelligence[removed]389 Elsevier 323 A theory of abstraction Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:23:00 Logical syntax Abstraction Metalogic Thought Axiom Propositional calculus Entailment Function Deduction theorem Logic Mathematics Mathematical logic
68	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory
69	Panel Moderators: Gries and Fred Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:49:16 Philosophical logic Non-classical logic Propositional calculus Boolean algebra Mathematical proof Natural deduction Modal logic Theorem Discrete mathematics Logic Mathematics Mathematical logic
70	The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989 Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-07-11 12:08:00 Automated theorem proving Mathematics Sequent calculus Unification Sequent First-order logic Curry–Howard correspondence Natural deduction Mathematical logic Proof theory Logic

UPDATE